package server.sat;

import server.core.Problem;

/**
 * The SATProblem class defines the implementation of the {@link Problem}
 * interface for SAT.
 * 
 * @author Clayton Edward Taylor
 */
public class SATProblem implements Problem {
	
	private final String key;
	private final String data;
	
	/**
	 * Creates a new SATProblem with the given key and data.
	 * 
	 * @param key  - The key for the problem
	 * @param data - The data for the problem
	 * @see          SATProblem
	 */
	public SATProblem(String key, String data) {
		
		this.key = key;
		this.data = data;
	}
	
	/**
	 * Gets the key for the SATProblem.
	 * 
	 * @return The key for the problem
	 * @see    SATProblem
	 */
	public String getKey() {
		
		return key;
	}
	
	/**
	 * Gets the data for the SATProblem.
	 * 
	 * @return The data for the problem
	 * @see    SATProblem
	 */
	public String getData() {
		
		return data;
	}
}
